Kontinuumo-hipotezo

En matematiko, la kontinuumo-hipotezo, kontinuum-hipotezohipotezo pri kontinuumo (iam mallonge CH) estas hipotezo pri la eblaj ampleksoj de nefiniaj aroj. Ĝi asertas ke ne ekzistas aro kies kardinalo estas strikte inter la kardinalo de la aro de entjeroj kaj la kardinalo de la aro de reelaj nombroj.

La hipetezo estas de Georg Cantor de 1877. Kontrolado de vereco aŭ malvereco de la kontinuumo-hipotezo estas la unua el la 23 hilbertaj problemoj prezentitaj en 1900. Laboroj de Kurt Gödel en 1940 kaj Paul Cohen en 1963 montris ke la hipotezo povas esti nek pruvita nek malpruvita uzante la aksiomojn de aroteorio de Zermelo-Fraenkel, la norma fundamento de moderna matematiko, se la aroteorio estas konsekvenca.

La nomo de la hipotezo venas de la termino "kontinuumo" por la aro de reelaj nombroj kaj topologie similaj aroj.


© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search